Fuzzy Reasoning Procedure for Ontologies based on Rough Membership Approximation

One of the major challenges in modeling a real-world domain is how to effectively represent uncertain and incomplete knowledge that domain. Several techniques for representing uncertainty ontologies have been proposed with some lacking provision vague inference. The classical tableaux-based algorithm does not provide flexibility reasoning over such ontologies. However, several extensions cope fuzzy reasoning. Similarly, alternative methods incomplete, inconsistent, proposed. limitations most those they require reengineering existing uncertainty. This paper proposes satisfiability uses rough set approximate concepts roles. technique takes advantage ontology base achieve without need ontology. results show conforms while providing way aspects